#include "Integer.hpp"

gmp_randstate_t Integer::randState;
bool Integer::randomInited = false;
